Wolfram Schulte: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Waiting for Godot? the right language abstractions for parallel programming should be here soon

Mytkowicz, Todd, Schulte, Wolfram

Journal:

Year:

2014

Language:

english

File:

PDF, 733 KB

english, 2014

2

Generating finite state machines from abstract state machines

Grieskamp, Wolfgang, Gurevich, Yuri, Schulte, Wolfram, Veanes, Margus

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 323 KB

english, 2002

3

A programming model for concurrent object-oriented programs

Jacobs, Bart, Piessens, Frank, Smans, Jan, Leino, K. Rustan M., Schulte, Wolfram

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 1.04 MB

english, 2008

4

Search for Compounds That Inhibit the Genotoxic and Carcinogenic Effects of Heterocyclic Aromatic Amines

Schwab, Christina E., Huber, Wolfgang W., Parzefall, Wolfram, Hietsch, Gerhard, Kassie, Fekadu, Schulte-Hermann, Rolf, Knasmüller, Siegfried

Journal:

Critical Reviews in Toxicology

Year:

2000

Language:

english

File:

PDF, 2.76 MB

english, 2000

5

Model-Based Software Testing and Analysis with C# || Compositional Modeling

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 378 KB

2007

6

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Pex--An Intelligent Assistant for Rigorous Developer Testing

Schulte, Wolfram

Year:

2007

File:

PDF, 92 KB

2007

7

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Multi-prover Verification of C Programs

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 230 KB

english, 2004

8

[Lecture Notes in Computer Science] Fields of Logic and Computation II Volume 9300 ||

Beklemishev, Lev D., Blass, Andreas, Dershowitz, Nachum, Finkbeiner, Bernd, Schulte, Wolfram

Year:

2015

Language:

english

File:

PDF, 5.13 MB

english, 2015

9

Portal Application of Autologous CD133+ Bone Marrow Cells to the Liver: A Novel Concept to Support Hepatic Regeneration

Jan Schulte am Esch II, Wolfram Trudo Knoefel, Michael Klein, Ali Ghodsizad, Guenter Fuerst, Ludger W. Poll, Christoph Piechaczek, Elmar R. Burchardt, Niko Feifel, Volker Stoldt, Marcus Stockschläder,

Journal:

Year:

2005

Language:

english

File:

PDF, 339 KB

english, 2005

10

Application of the Vimoke–Taylor concept for fully coupled models of consolidation by prefabricated vertical drains

Pham, Hung Tien, Rühaak, Wolfram, Schulte, Daniel, Sass, Ingo

Journal:

Computers and Geotechnics

Year:

2019

Language:

english

File:

PDF, 4.98 MB

english, 2019

11

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 388 KB

english, 2007

12

Role of mesenchymal liver cells in mediating hepatic toxicity and carcinogenesis

Sandra Sagmeister, Wolfram Parzefall, Christine Gauglhofer, Christopher Gerner, Rolf Schulte-Hermann, Bettina Grasl-Kraupp

Journal:

BMC Pharmacology

Year:

2007

Language:

english

File:

PDF, 77 KB

english, 2007

13

Modeling insulated borehole heat exchangers

Schulte, Daniel Otto, Welsch, Bastian, Boockmeyer, Anke, Rühaak, Wolfram, Bär, Kristian, Bauer, Sebastian, Sass, Ingo

Journal:

Environmental Earth Sciences

Year:

2016

Language:

english

File:

PDF, 1.92 MB

english, 2016

14

Automatic verification of Java programs with dynamic frames

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte

Journal:

Formal Aspects of Computing

Year:

2010

Language:

english

File:

PDF, 2.01 MB

english, 2010

15

Cytotoxicity of the novel spin trapping compound 5-ethoxycarbonyl-3,5-dimethyl-pyrroline N-oxide (3,5-EDPO) and its derivatives

Nataliya Rohr-Udilova, Klaus Stolze, Sandra Sagmeister, Wolfram Parzefall, Brigitte Marian, Hans Nohl, Rolf Schulte-Hermann, Bettina Grasl-Kraupp

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2007

Language:

english

File:

PDF, 204 KB

english, 2007

16

ADP-dependent platelet function prior to and in the early course of pediatric Liver transplantation and persisting thrombocytopenia are positively correlated with ischemia/reperfusion injury

Jan Schulte am Esch II, Ayse Akyildiz, Roy Y. Tustas, Rainer Ganschow, Moritz Schmelzle, Andreas Krieg, Simon C. Robson, Stefan A. Topp, Xavier Rogiers, Wolfram T. Knoefel, Lutz Fischer

Journal:

Transplant International

Year:

2010

Language:

english

File:

PDF, 339 KB

english, 2010

17

Guest Editors' Introduction: Parallelism on the Desktop

Pankratius, Victor, Schulte, Wolfram, Keutzer, Kurt

Journal:

Year:

2011

Language:

english

File:

PDF, 3.98 MB

english, 2011

18

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - Mutation Analysis of Parameterized Unit Tests

Xie, Tao, Tillmann, Nikolai, de Halleux, Jonathan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 167 KB

english, 2009

19

[ACM Press the first ACM workshop - Chicago, Illinois, USA (2009.11.09-2009.11.09)] Proceedings of the first ACM workshop on Secure execution of untrusted code - SecuCode '09 - From dependable multi-user to dependable multi-application operating systems

Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 301 KB

english, 2009

20

Lateral cervical lymph node metastases in papillary thyroid cancer: a systematic review of imaging-guided and prophylactic removal of the lateral compartment

Mubashir G. Mulla, Wolfram Trudo Knoefel, Jackie Gilbert, Alan McGregor, Klaus-Martin Schulte

Journal:

Clinical Endocrinology

Year:

2012

Language:

english

File:

PDF, 76 KB

english, 2012

21

Automated migration of build scripts using dynamic analysis and search-based refactoring

Gligoric, Milos, Schulte, Wolfram, Prasad, Chandra, van Velzen, Danny, Narasamdya, Iman, Livshits, Benjamin

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 1.10 MB

english, 2014

22

[ACM Press the 3rd international workshop - Portland, Oregon (2006.11.06-2006.11.06)] Proceedings of the 3rd international workshop on Software quality assurance - SOQUA '06 - Challenge problems in software testing

Schulte, Wolfram

Year:

2006

Language:

english

File:

PDF, 92 KB

english, 2006

23

Model-Based Software Testing and Analysis with C# || Modeling Objects

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 308 KB

2007

24

Initialization problems for Java

Egon Börger, Wolfram Schulte

Journal:

Software - Concepts & Tools

Year:

2000

Language:

english

File:

PDF, 139 KB

english, 2000

25

[ACM Press the International Workshop - Lawrence, Kansas (2011.11.12-2011.11.12)] Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering - MALETS '11 - The inductive software engineering manifesto

Menzies, Tim, Bird, Christian, Zimmermann, Thomas, Schulte, Wolfram, Kocaganeli, Ekrem

Year:

2011

Language:

english

File:

PDF, 711 KB

english, 2011

26

Effects of coffee and its chemopreventive components kahweol and cafestol on cytochrome P450 and sulfotransferase in rat liver

Wolfgang W. Huber, Walter Rossmanith, Michael Grusch, Elisabeth Haslinger, Sonja Prustomersky, Barbara Peter-Vörösmarty, Wolfram Parzefall, Gerlinde Scharf, Rolf Schulte-Hermann

Journal:

Food and Chemical Toxicology

Year:

2008

Language:

english

File:

PDF, 247 KB

english, 2008

27

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 ||

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 266 KB

english, 2004

28

[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - VC generation for functional behavior and non-interference of iterators

Jacobs, Bart, Piessens, Frank, Schulte, Wolfram

Year:

2006

Language:

english

File:

PDF, 156 KB

english, 2006

29

Model-Based Software Testing and Analysis with C# || Reactive Systems

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 348 KB

2007

30

[IEEE 2009 ICSE Workshop on Automation of Software Test (AST) - Vancouver, BC, Canada (2009.05.18-2009.05.19)] 2009 ICSE Workshop on Automation of Software Test - An empirical study of testing file-system-dependent software with mock objects

Marri, Madhuri R., Tao Xie,, Tillmann, Nikolai, de Halleux, Jonathan, Schulte, Wolfram

Year:

2009

Language:

english

File:

PDF, 105 KB

english, 2009

31

Optimal strategies for testing nondeterministic systems

Nachmanson, Lev, Veanes, Margus, Schulte, Wolfram, Tillmann, Nikolai, Grieskamp, Wolfgang

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

32

Toxic Effects of Griseofulvin: Disease Models, Mechanisms, and Risk Assessment

Knasmüller, Siegfried, Parzefall, Wolfram, Helma, Christoph, Kassie, Fekadu, Ecker, Sonja, Schulte-Hermann, Rolf

Journal:

Critical Reviews in Toxicology

Year:

1997

Language:

english

File:

PDF, 3.77 MB

english, 1997

33

Optimization of Medium-Deep Borehole Thermal Energy Storage Systems

Schulte, Daniel Otto, Rühaak, Wolfram, Oladyshkin, Sergey, Welsch, Bastian, Sass, Ingo

Journal:

Energy Technology

Year:

2016

Language:

english

File:

PDF, 1.35 MB

english, 2016

34

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Memory-Model-Sensitive Data Race Analysis

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 202 KB

english, 2004

35

Model-Based Software Testing and Analysis with C# || Further Reading

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 280 KB

2007

36

Impact of O-linked glycosylation of the VWF-A1-domain flanking regions on platelet interaction

Jan Schulte am Esch II, Simon C. Robson, Wolfram T. Knoefel, Claus F. Eisenberger, Matthias Peiper, Xavier Rogiers

Journal:

British Journal of Haematology

Year:

2005

Language:

english

File:

PDF, 232 KB

english, 2005

37

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Formal Proof from UML Models

Davies, Jim, Schulte, Wolfram, Barnett, Mike

Year:

2004

Language:

english

File:

PDF, 346 KB

english, 2004

38

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Sampling-Based Runtime Verification

Butler, Michael, Schulte, Wolfram

Year:

2011

Language:

english

File:

PDF, 481 KB

english, 2011

39

Taking Control of Your Engineering Tools

Prasad, Chandra, Schulte, Wolfram

Journal:

Year:

2013

Language:

english

File:

PDF, 479 KB

english, 2013

40

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || Model-Driven Development of Mobile Applications Allowing Role-Driven Variants

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

41

[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Optimal strategies for testing nondeterministic systems

Nachmanson, Lev, Veanes, Margus, Schulte, Wolfram, Tillmann, Nikolai, Grieskamp, Wolfgang

Year:

2004

Language:

english

File:

PDF, 225 KB

english, 2004

42

Model-Based Software Testing and Analysis with C# || Command Reference

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 278 KB

2007

43

[Lecture Notes in Computer Science] FM 2011: Formal Methods Volume 6664 || Refinement-Based Verification of Local Synchronization Algorithms

Butler, Michael, Schulte, Wolfram

Year:

2011

Language:

english

File:

PDF, 249 KB

english, 2011

44

Lymphatic and facial defects 1 regulates expansion of the lymphatic endothelial cell lineage upon its emergence from the cardinal vein

Koltowska, Kaska, Paterson, Scott, Lagendijk, Anne Karine, Chen, Huijun, Baillie, Gregory, Leshchiner, Ignat, Geossling, Wolfram, Smith, Kelly, Simons, Cas, Schulte-Merker, Stefan, Hogan, Ben

Journal:

Mechanisms of Development

Year:

2017

Language:

english

File:

PDF, 42 KB

english, 2017

45

Model-Based Software Testing and Analysis with C# || Glossary

Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram

Year:

2007

File:

PDF, 343 KB

2007

46

Non-colorectal, non-neuroendocrine, and non-sarcoma metastases of the liver: resection as a promising tool in the palliative management

Moritz Schmelzle, Claus F. Eisenberger, Jan Schulte am Esch, Hanno Matthaei, Markus Krausch, Wolfram T. Knoefel

Journal:

Langenbeck's Archives of Surgery

Year:

2010

Language:

english

File:

PDF, 141 KB

english, 2010

47

Quantitative image analysis of the chromatolysis in rat facial and hypoglossal motoneurons following axotomy with and without reinnervation

Orlando Guntinas-Lichius, Wolfram F. Neiss, Erik Schulte, Eberhard Stennert

Journal:

Cell and Tissue Research

Year:

1996

Language:

english

File:

PDF, 112 KB

english, 1996

48

HGF and SDF-1-mediated mobilization of CD133 + BMSC for hepatic regeneration following extensive liver resection

Lehwald, Nadja, Duhme, Constanze, Wildner, Marina, Kuhn, Stephanie, Fürst, Günter, Forbes, Stuart J., Jonas, Sven, Robson, Simon C., Knoefel, Wolfram T., Schmelzle, Moritz, Schulte am Esch, Jan

Journal:

Year:

2014

Language:

english

File:

PDF, 772 KB

english, 2014

49

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8767 || IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud

Dingel, Juergen, Schulte, Wolfram, Ramos, Isidro, Abrahão, Silvia, Insfran, Emilio

Year:

2014

Language:

english

File:

PDF, 530 KB

english, 2014

50

SPUR

Bebenita, Michael, Brandner, Florian, Fahndrich, Manuel, Logozzo, Francesco, Schulte, Wolfram, Tillmann, Nikolai, Venter, Herman

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 937 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски